21. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
22. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
23. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
24. Computer design aids for VLSI circuits
پدیدآورنده :
موضوع : ، Integrated circuits-- Very Large scale integration-- Congresses,، Electronic circuit design-- Computer programs-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
25. Designing, testing, and diagnostics- join them
پدیدآورنده : International Test conference )3991: Baltimore, Md.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Integrated circuits- Testing- congresses,، Electronic digital computers- Circuits- Testing-Congresses
رده :
TK
7874
.
I474
1993
26. Digest of technical papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Solid state electronics,Congresses ، Electronic circuits
رده :
TK
7870
.
I58
27. Electronic circuits and systems; proceeding of the... NACONECS-89, November 2-4 1989 Rookee, India
پدیدآورنده : Organised by Dept. of Electronics and computer Engineering, University of Rookee, India
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic circuits- Congresses
رده :
TK
7867
.
N37
1989
28. Euro-DAC '93, European Design Automation Conference with Euro-VHDL '93 : proceedings, CCH Hamburg, Germany, September 20-24, 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Circuits-- Design-- Congresses,، Electronic circuit design-- Data processing-- Congresses,، Computer-aided design-- Congresses,، VHDL )Computer hardware description language(-- Congresses
رده :
TK
7888
.
4
.
E97
1993
29. Euro-DAC 93, European Design Automation Conference with Euro-VHDL 93 : proceedings, CCH Hamburg, Germany, September 20-24, 1993
پدیدآورنده : sponsored by Gesellschaft fur Informatik e.V. in cooperation with AFCET-France ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Circuits - Design - Congresses , Electronic circuit design - Data processing - Congresses , Computer-aided design - Congresses , VHDL )Computer hardware description language( - Congresses
رده :
TK
7888
.
4
.
E97
1993
30. Euro-DAC 94, European Design Automation Conference with Euro-VHDL 94 : proceedings, Grenoble, France, September 19-23, 1994
پدیدآورنده : sponsored by Gesellschaft fur Informatik e.V. ...]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Circuits - Design - Congresses , Electronic circuit design - Data processing - Congresses , Computer-aided design - Congresses , VHDL )Computer hardware description language( - Congresses
رده :
TK
7888
.
4
.
E97
1994
31. Frequency References, Power Management for SoC, and Smart Wireless Interfaces
پدیدآورنده : \ Andrea Baschirotto, Kofi A.A. Makinwa, Pieter Harpe Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic analog computers -- Circuits -- Congresses.
رده :
E-Book
,
32. Frequency references, power management for SOC, and smart wireless interfaces
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic analog computers--Circuits- Congresses
رده :
TK7888
.
F686
2014
33. Frequency references, power management for SoC, and smart wireless interfaces : advances in analog circuit design 2013
پدیدآورنده : A Baschirotto; Kofi A A Makinwa; Pieter Harpe
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Circuits -- Congresses ، Electronic analog computers,Mechanical ، TECHNOLOGY & ENGINEERING
رده :
TK7888
34. From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic circuit design-- Congresses,، Electronic digital computers-- Circuits-- Design and construction - Congresses
رده :
TK
7867
.
I4
1986
35. General design analysis, considerations and applications: presented at the Third Biennial World Conference on integrated Design and Process Technology, Berlin Germany, July, 5-9, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits,Congresses ، Electronic circuit design
رده :
TK
7874
.
B54
1998
36. ICCAD
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer-aided design,Congresses ، Integrated circuits-- Computer-aided design,Congresses ، Electronic circuit design
رده :
TK
7874
.
I3235a
37. ICCAD-2003 : International Conference on Computer Aided Design, November 9-13, 2003, DoubleTree Hotel, San Jose, CA
پدیدآورنده : sponsored by IEEE Circuits and Systems Society...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic circuit design,Congresses ، Computer-aided design,Testing -- Congresses ، Electronic circuits
رده :
TK
7867
.
I36
2003
38. ICCAD-2004 : International Conference on Computer Aided Design, November 7-11, 2004, DoubleTree Hotel, San Jose, CA
پدیدآورنده : sponsored by: IEEE CASS/CANDE; IEEE Circuits & Systems Society; IEEE Computer Society; ACM SIGDA
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic circuit design,Congresses ، Computer-aided design,Testing -- Congresses ، Electronic circuits
رده :
TK
7867
.
I36
2004
39. 1992 IEEE/ACM International Conference on Computer-Aided Design, November 7-11, 1993, Santa Clara, California : digest of technical papers
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic circuit design - Data processing - Congresses , Computer-aided design - Congresses , Electronic circuits - Testing - Congresses
رده :
TK
7867
.
I376
1993
